On the existence of a most efficient speed in bicycle pedalling, and the problem of determining human muscular efficiency